I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

Mystical Theology and Platonism in the Time of Cusanus engages with the history of mystical theology and Neoplatonic philosophy through the lens of the 15th century philosopher and theologian, Nicholas of Cusa. The volume comprises nineteen essays that break down the barriers between medieval and Renaissance studies, reinterpreting Cusanus’ place in the history of thought by exploring the archive that informed his thinking, while also interrogating his works by exploring them from the standpoint of their later reception by modern philosophers (...) and theologians. The volume also offers tribute to the career of Donald F. Duclow, a leading scholar in the field of Cusanus studies in particular and of the history of mystical theology and Neoplatonic philosophy more generally. (shrink)

This essay appeared as a contribution to a special issue of European Journal of Philosophy to mark the fiftieth anniversary of the publication of P. F. Strawson’s The Bounds of Sense. In that book Strawson asks whether we should agree with Kant's claim, in his Critique of Pure Reason, that there can be only one world. What Kant means by this claim is that the four-dimensional realm that we inhabit must constitute the whole of empirical reality. Strawson gives reasons for (...) challenging this claim. This essay raises the question whether, even if Strawson is right, we may nevertheless have reason to believe that there can be only one world on a broader understanding of ‘world’. The aim is as much to clarify the issue as to settle it, although an attempt is made to motivate the view that there can indeed be only one world on this broader understanding. (shrink)

En su artículo “On Knowing One’s Own Mind” (1988), Shoemaker argumenta en favor de tres afirmaciones: (1) se requiere un autoconocimiento directo (self-acquaintance) para la cooperación racional con otras personas (porque ésta depende de que podamos decirles qué es lo que creemos e intentamos hacer); (2) el autoconocimiento directo es necesario para la deliberación sobre qué creer y qué hacer (porque no podemos ajustar racionalmente creencias y deseos sin saber qué creencias y deseos tenemos); y (3) el autoconocimiento directo es (...) una consecuencia inmediata de nuestra capacidad para reconocer el carácter paradójico de oraciones que ejemplifican la paradoja de Moore. En este capítulo trato de mostrar que las afirmaciones (1) y (2) no son correctas; la cooperación se puede llevar acabo comunicándonos exclusivamente sobre (supuestos) hechos y acciones y el ajuste racional de creencias normalmente sucede de una manera automática a un nivel de primer orden. Sin embargo, la afirmación (3) indica una relación interesante entre nuestras capacidades conceptuales y lingüísticas, por un lado, y, por el otro, nuestra capacidad de “contestar la pregunta de si creo que p poniendo en marcha el proceso (cualquiera que éste sea) mediante el cual respondo a la pregunta de si p” (Evans, 1982: 225). (shrink)

This paper examines theories of first person authority proposed by Dorit Bar-On (2004), Crispin Wright (1989a) and Sydney Shoemaker (1988). What all three accounts have in common is that they attempt to explain first person authority by reference to the way our language works. Bar-On claims that in our language self-ascriptions of mental states are regarded as expressive of those states; Wright says that in our language such self-ascriptions are treated as true by default; and Shoemaker suggests that they might (...) arise from our capacity to avoid Moore-paradoxical utterances. I argue that Bar-On’s expressivism and Wright’s constitutive theory suffer from a similar problem: They fail to explain how it is possible for us to instantiate the language structures that supposedly bring about first person authority. Shoemaker’s account does not suffer from this problem. But it is unclear whether the capacity to avoid Moore-paradoxical utterances really yields self-knowledge. Also, it might be that self-knowledge explains why we have this capacity rather than vice versa. (shrink)

I argue that the familiar picture of the rise of analytic philosophy through the early work of G. E. Moore and Bertrand Russell is incomplete and to some degree erroneous. Archival evidence suggests that a considerable influence on Moore, especially evident in his 1899 paper ‘The nature of judgment,’ comes from the literature in nineteenth-century empirical psychology rather than nineteenth-century neo-Hegelianism, as is widely believed. I argue that the conceptual influences of Moore’s paper are more likely to (...) have had their source in the work of two of Moore’s teachers, G. F. Stout and James Ward. What may be called an anti-psychologism about psychology characterizes the work of these and other psychologists of the period. I argue that the anti-psychologism that is the main aim of Moore’s early theory of judgment is an adaptation of this notion, which is significantly dissimilar from the notion defended by Bradley, traditionally thought to have been a key influence on Moore.Keywords: G. E. Moore; Bertrand Russell; Propositions; Anti-psychologism; Early analytic philosophy; G. F. Stout. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

This essay is concerned with six linguistic moves that we commonly make, each of which is considered in turn. These are: stating rules of representation; representing things categorically; mentioning expressions; saying truly or falsely how things are; saying vaguely how things are; and stating rules of rules of representation. A common-sense view is defended of what is involved in our doing each of these six things against a much more sceptical view emanating from the idea that linguistic behavior is fundamentally (...) messy. Both the fifth move and the sixth move involve vague concepts, and much of the essay is concerned with developing an approach to various problems and puzzles that attach to such concepts, most notably the sorites paradoxes. (shrink)

Because anticipated and retrospective regret play important roles in practical deliberation and motivation, better understanding them can illuminate the contours of human agency. However, the possibility of self-ignorance and the fact that we change over time can make regret—especially anticipatory regret—not only a poor predictor of where the agent will be in the future but also an unreliable indicator of where the agent stands. Granting these, this paper examines the way in which prospective and, particularly, retrospective regret can nevertheless yield (...) important insight into the sorts of creatures we are, both generally and individually. The experience of retrospective regret can show a person she values something in a way she did not know or that she is (or was) a different person than she had thought, insights which can factor into forward-looking, or prospective, deliberation. Such instances of revelatory regret reveal something to the agent about herself as agent. I examine two cases of agential self-ignorance. In the first, the experience of regret reveals what the agent values, not only to others but even to the agent himself. In the second, the agent anticipates experiencing regret for an action but does not experience the regret, suggesting that the agent did not value the rejected alternative in the way she thought. Anticipatory regret is forward-looking and can play an important role in practical deliberation. But insofar as anticipatory regret flows from one’s imperfect judgment and prospection about oneself, retrospective regret can be an important corrective in helping the agent understand her own standpoint. (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges; but can be useful. For example they bear a close connection to situations where ones confidence in something can affect whether it is (...) the case or not. The motivating interpretation of probability as an agent's degrees of belief will be focused on throughout the thesis. -/- This thesis aims to answer two questions relevant to such frameworks, which correspond to the two parts of the thesis: “How can one develop a formal semantics for this framework?” and “What rational constraints are there on an agent once such expressive frameworks are considered?”. (shrink)

The aim of this essay is to characterize the issue whether tense is real. Roughly, this is the issue whether, given any tensed representation, its tense corresponds in some suitably direct way to some feature of reality. The task is to make this less rough. Eight characterizations of the issue are considered and rejected, before one is endorsed. On this characterization, the unreality of tense is equivalent to the unity of temporal reality. The issue whether tense is real, so characterized, (...) is then related to Kant’s deduction of the categories in his Critique of Pure Reason. It is argued that Kant’s deduction does not provide the argument for the unreality of tense that it may appear to. The conclusion drawn at the end of the essay is that the unreality of tense cannot be argued for—not because tense is real, but because, even if it is unreal, its unreality is basic. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

Little is known about the aims and impact of university-based ethics centers. Less is known about how centers leverage their unique campus positions to engage undergraduates in transformative ethics education. This article provides a foundation for future research on university-based ethics centers. First, this article addresses the history of ethics education in higher education, the rise of university ethics centers, and the factors necessary for successful ethics programs. Next, this piece shows the geographic distribution of ethics centers and which centers (...) provide undergraduate-focused ethics education. Finally, this article enables future research on effective ethics center structure, leadership, and outreach. (shrink)

In recent years, there has been a heated debate about how to interpret findings that seem to show that humans rapidly and automatically calculate the visual perspectives of others. In the current study, we investigated the question of whether automatic interference effects found in the dot-perspective task (Samson, Apperly, Braithwaite, Andrews, & Bodley Scott, 2010) are the product of domain-specific perspective-taking processes or of domain-general “submentalizing” processes (Heyes, 2014). Previous attempts to address this question have done so by implementing inanimate (...) controls, such as arrows, as stimuli. The rationale for this is that submentalizing processes that respond to directionality should be engaged by such stimuli, whereas domain-specific perspective-taking mechanisms, if they exist, should not. These previous attempts have been limited, however, by the implied intentionality of the stimuli they have used (e.g. arrows), which may have invited participants to imbue them with perspectival agency. Drawing inspiration from “novel entity” paradigms from infant gaze-following research, we designed a version of the dot-perspective task that allowed us to precisely control whether a central stimulus was viewed as animate or inanimate. Across four experiments, we found no evidence that automatic “perspective-taking” effects in the dot-perspective task are modulated by beliefs about the animacy of the central stimulus. Our results also suggest that these effects may be due to the task-switching elements of the dot-perspective paradigm, rather than automatic directional orienting. Together, these results indicate that neither the perspective-taking nor the standard submentalizing interpretations of the dot-perspective task are fully correct. (shrink)

Are we witnessing progress or regress in the recent increasing popularity and electoral success of populist politicians and parties in consolidated democratic nations? ... Is the innovative use of popular referendum in Great Britain to settle fundamental constitutional questions a progressive or regressive innovation? ... Similarly, is the increasing use of constituent assemblies to change constitutions across the world evidence of progress in democratic constitutionalism, or, a worryingly regressive change back toward unmediated popular majoritarianism? ... This paper reflects on some (...) of the perils and promise of framing such questions with the conceptual couplet of progress and regress. It considers four compelling critiques of the use of ‘progress’ and its cognates in sociopolitical theory, as well as arguing that such concepts are nevertheless ineliminable for our normative theories. The paper concludes by suggesting that we can avoid the most serious problems by employing only conceptions of political progress and regress that are piecemeal, pragmatic, and processual. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...) In the fi nal section I offer a positive argument for the valence constraint. (shrink)

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

A model-theoretic approach to the semantics of set-theoretic discourse.

Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.

© British Society of Aesthetics 2018. Published by Oxford University Press on behalf of the British Society of Aesthetics. All rights reserved. For Permissions, please email: [email protected] adaptation of literary works into films has been almost completely neglected as a philosophical topic. I discuss two questions about this phenomenon:What do we mean when we say that a film is faithful to its source?Is being faithful to its source a merit in a film adaptation?In response to, I set out two distinct (...) senses of fidelity: story fidelity and thematic fidelity. I then argue, in response to, that thematic fidelity, but not story fidelity, is an aesthetic merit in a film adaptation. The key steps in this argument involve showing that merely preserving the story from one medium to another does not typically involve an aesthetically... (shrink)

The paper discusses the arguments for and against animalism and concludes that a pluralist position which rejects animalism and embraces a multiplicity of thinkers is the best option.

This essay constitutes an attempt to probe the very idea of a saying/showing distinction of the kind that Wittgenstein advances in the Tractatus—to say what such a distinction consists in, to say what philosophical work it has to do, and to say how we might be justified in drawing such a distinction. Towards the end of the essay the discussion is related to Wittgenstein’s later work. It is argued that we can profitably see this work in such a way that (...) a saying/showing distinction arises there too. In particular, in the final sub-section of the essay, it is suggested that we can see in Wittgenstein’s later work an inducement to say what we are shown. (shrink)

Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...) close to and informed by actual developments in political science, making philosophy of science continuous with the sciences in line with contemporary naturalist philosophy of science. The topics scrutinized in the different chapters of the Handbook will figure prominently in PoPS, as we lay out in this chapter. (shrink)

Moss (2018) argues that rational agents are best thought of not as having degrees of belief in various propositions but as having beliefs in probabilistic contents, or probabilistic beliefs. Probabilistic contents are sets of probability functions. Probabilistic belief states, in turn, are modeled by sets of probabilistic contents, or sets of sets of probability functions. We argue that this Mossean framework is of considerable interest quite independently of its role in Moss’ account of probabilistic knowledge or her semantics for epistemic (...) modals and probability operators. It is an extremely general model of uncertainty. Indeed, it is at least as general and expressively powerful as every other current imprecise probability framework, including lower probabilities, lower previsions, sets of probabilities, sets of desirable gambles, and choice functions. In addition, we partially answer an important question that Moss leaves open, viz., why should rational agents have consistent probabilistic beliefs? We show that an important subclass of Mossean believers avoid Dutch bookability iff they have consistent probabilistic beliefs. (shrink)

This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.

Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...) it might seem at first. (shrink)

Theorists of public reason such as John Rawls often idealize constitutional courts as exemplars of public reason. This paper raises questions about the seduction and limits of analogies between theorists’ account of public reason and actual constitutional jurisprudence. Examining the work product of the United States Supreme Court, the paper argues that while it does engage in reason-giving to support its decisions—as the public reason strategy suggests— those reasons are (largely) legalistic and specifically juristic reasons—not the theorists’ idealized moral-political reasons (...) on matters of fundamental principle. But if constitutional courts do not engage on matters of fundamental principle, then a public reason strategy for assuaging democratic worries about judicial review would no longer be open: prominent liberal and deliberative democratic theorists could no longer point to the alleged superiority of constitutional courts to speak in the name of, and for, the people’s shared political principles. The paper extends beyond the U.S. case study by pointing to three institutional factors explaining the disanalogy between what some constitutional courts do and what public reason theories require them to do. It concludes with considerations about whether the public reason strategy might be more successfully applied to international courts. (shrink)

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

For Kant, the human cognitive faculty has two sub-faculties: sensibility and the understanding. Each has pure forms which are necessary to us as humans: space and time for sensibility; the categories for the understanding. But Kant is careful to leave open the possibility of there being creatures like us, with both sensibility and understanding, who nevertheless have different pure forms of sensibility. They would be finite rational beings and discursive cognizers. But they would not be human. And this raises a (...) question about the pure forms of the understanding. Does Kant leave open the possibility of discursive cognizers who have different categories? Even if other discursive cognizers might not sense like us, must they at least think like us? We argue that textual and systematic considerations do not determine the answers to these questions and examine whether Kant thinks that the issue cannot be decided. Consideration of his wider views on the nature and limits of our knowledge of mind shows that Kant could indeed remain neutral on the issue but that the exact form his neutrality can take is subject to unexpected constraints. The result would be an important difference between what Kant says about discursive cognizers with other forms of sensibility and what he is in a position to say about discursive cognizers with other forms of understanding. Kantian humility here takes on a distinctive character. (shrink)

Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.